(declare-fun _substvar_8_ () Bool)
(declare-const v3 Bool)
(declare-const v4 Bool)
(declare-const v6 Bool)
(declare-const v7 Bool)
(declare-const v9 Bool)
(declare-const v11 Bool)
(declare-const v13 Bool)
(assert (xor v4 v9 v6 v6 v13 true v11 v3 v7 true))
(assert _substvar_8_)
(check-sat)
(check-sat)
(check-sat)
